<!DOCTYPE html PUBLIC '-//W3C//DTD XHTML 1.0 Transitional//EN' 'http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd'>
<html xmlns='http://www.w3.org/1999/xhtml'>
<head>
<title>is_case_insensitive</title>
<meta name='robots' content='noindex,nofollow' />
<meta name='generator' content='GLOBAL-6.5.7' />
<meta http-equiv='Content-Style-Type' content='text/css' />
<link rel='stylesheet' type='text/css' href='../style.css' />
</head>
<body>
<pre>
<span class='curline'><a href='../S/src--editor--editwidget.h.html#L160'>is_case_insensitive</a>  160 src/editor/editwidget.h     gboolean is_case_insensitive;       /* selects language case sensitivity */</span>
<span class='curline'><a href='../S/src--editor--syntax.c.html#L199'>is_case_insensitive</a>  199 src/editor/syntax.c     return edit-&gt;is_case_insensitive ? tolower (c) : c;</span>
<span class='curline'><a href='../S/src--editor--syntax.c.html#L909'>is_case_insensitive</a>  909 src/editor/syntax.c     if (edit-&gt;is_case_insensitive)</span>
<span class='curline'><a href='../S/src--editor--syntax.c.html#L936'>is_case_insensitive</a>  936 src/editor/syntax.c     edit-&gt;is_case_insensitive = FALSE;</span>
<span class='curline'><a href='../S/src--editor--syntax.c.html#L1001'>is_case_insensitive</a> 1001 src/editor/syntax.c             edit-&gt;is_case_insensitive = TRUE;</span>
</pre>
</body>
</html>
